Type-driven Synthesis of Evolving Data Mode

Modern commercial software is often framed under the umbrella of data-centric applications. Data-centric applications define data as the main and permanent asset. These applications use a single data model for application functionality, data management, and analytical activities, which is built before the applications. Moreover, since applications are temporary, in contrast to data, there is the need to continuously evolve and change the data schema to accommodate new functionality. In this sense, the continuously evolving (rich) feature set that is expected of state-of-the-art applications is intrinsically bound by not only the amount of available data but also by its structure, its internal dependencies, and by the ability to transparently and uniformly grow and evolve data representations and their properties on the fly. The GOLEM project aims to produce new methods of program automation integrated in the development of data-centric applications in low-code frameworks. In this context, one of the key targets for automation is the data layer itself, encompassing the data layout and its integrity constraints, as well as validation and access control rules. The aim of this dissertation, which is integrated in GOLEM, is to develop a synthesis framework that, based on high-level specifications, correctly defines and evolves a rich data layer component by means of high-level operations. The construction of the framework was approached by defining a specification language to express richly-typed specifications, a target language which is the goal of synthesis and a type-directed synthesis procedure based on proof-search concepts. The range of real database operations the framework is able to synthesize is demonstrated through a case study. In a component-based synthesis style, with an extensible library of base operations on database tables (specified using the target language) in context, the case study shows that the synthesis framework is capable of expressing and solving a wide variety of data schema creation and evolution problems.Os sistemas modernos de software comercial são frequentemente caracterizados como aplicações centradas em dados. Estas aplicações definem os dados como o seu principal e persistente ativo, e utilizam um único modelo de dados para as suas funcionalidades, gestão de dados, e atividades analíticas. Além disso, uma vez que as aplicações são efémeras, contrariamente aos dados, existe a necessidade de continuamente evoluir o esquema de dados para introduzir novas funcionalidades. Neste sentido, o conjunto rico de características e em constante evolução que é esperado das aplicações modernas encontra-se restricto, não só pela quantidade de dados disponíveis, mas também pela sua estrutura, dependências internas, e a capacidade de crescer e evoluir a representação dos dados de uma forma uniforme e rápida. O projeto GOLEM tem como objetivo a produção de novos métodos de automação de programas integrado no desenvolvimento de aplicações centradas nos dados em sistemas low-code. Neste contexto, um dos objetivos principais de automação é a camada de dados, compreendendo a estrutura dos dados e as respectivas condições de integridade, como também as regras de validação e controlo de acessos. O objetivo desta dissertação, integrada no projeto GOLEM, é o desenvolvimento de um sistema de síntese que, baseado em especificações de alto nível, define e evolui corretamente uma camada de dados rica com recurso a operações de alto nível. A construção deste sistema baseia-se na definição de uma linguagem de especificação que permite definir especificações com tipos ricos, uma linguagem de expressões que é considerada o objetivo da síntese e um procedimento de síntese orientada pelos tipos. O espectro de operações reais de bases de dados que o sistema consegue sintetizar é demonstrado através de um caso de estudo. Com uma biblioteca extensível de operações sobre tabelas no contexto, o caso de estudo demonstra que o sistema de síntese é capaz de expressar e resolver uma grande variedade de problemas de criação e evolução de esquemas de dados

Os efeitos da formulação de objectivos sobre o rendimento desportivo de duas equipas de andebol sénior

Apesar dos efeitos positivos dos programas de formulação de objectivos (P.F.O.) estarem bem estabelecidos em contextos industriais e educativos, não temos verificado o mesmo cenário no domínio desportivo, onde os resultados deste tipo de estratégias estão ainda totalmente por comprovar (Kyllo & Landers, 1995). Como refere Gould (1993), estes programas de intervenção nem sempre são aplicados de forma correcta devido ao facto de se ignorarem vários factores que podem influenciar a eficácia desta técnica. Neste sentido, o presente estudo procurou analisar a relação entre a formulação de objectivos (F.O.) e o rendimento desportivo, apresentando os dados da utilização de dois P.F.O. junto de duas equipas seniores de andebol, ao longo de duas épocas desportivas. Em termos mais específicos, a F.O. implementada baseou-se no estabelecimento de objectivos individuais e colectivos para as equipas, procurando controlar varáveis como o grau de experiência dos atletas, a divulgação pública e privada dos objectivos e a distinção entre os diferentes graus de dificuldade das provas. Os resultados sugerem a eficácia dos programas desenvolvidos na melhoria do rendimento desportivo dos atletas em diferentes parâmetros de jogo bem como no seu maior comprometimento e empenho para com o sucesso das equipas.Although the positive effects of using goal-setting programmes are well established on industrial and educational contexts, we don’t verify the same setting in what concerns to the sports field, where the results of these kind of approaches are still totally unproven (Kyllo & Landers, 1995). As Gould (1993) refers, these intervention programmes aren’t always applied correctly, due to ignoring the various factors which can influence this techniques’ efficacy. Therefore, the present study attempted to analyse the connection between goal-setting and sports performance based on the results of the implementation of two goal-setting programmes with two professional handball teams, during two seasons. Specifically, the goal-setting programmes were based on the definition of individual and team goals, on an attempt to control variables such as the degree of the athletes’ experience, the goals’ public and private discussion and the games’ differences in terms of degrees of difficulty. The results suggest the efficacy of the developed programmes not only on the improvement of the athletes’ sport performance in different handball skills, but also on the increase of their level of commitment towards the teams’ success

Os efeitos da formulação de objectivos sobre o rendimento desportivo de duas equipas de andebol sénior

Apesar dos efeitos positivos dos programas de formulação de objectivos (P.F.O.) estarem bem estabelecidosem contextos industriais e educativos, não temos verificado o mesmo cenário no domínio desportivo, onde os resultados deste tipo de estratégias estão ainda totalmente por comprovar (Kyllo & Landers, 1995). Como refere Gould (1993), estes programas de intervenção nem sempre são aplicados de forma correcta devido ao facto de se ignorarem vários factores que podem influenciar a eficácia desta técnica. Neste sentido, o presente estudo procurou analisar a relação entre a formulação de objectivos (F.O.) e o rendimento desportivo, apresentando os dados da utilização de dois P.F.O. junto de duas equipas seniores de andebol, ao longo de duas épocas desportivas.Em termos mais específicos, a F.O. implementada baseou-se no estabelecimento de objectivos individuais e colectivos paraas equipas, procurando controlar varáveis como o grau de experiência dos atletas, a divulgação pública e privada dos objectivos e a distinção entre os diferentes graus de dificuldade das provas. Os resultados sugerem a eficácia dos programas desenvolvidos na melhoria do rendimento desportivo dos atletas em diferentes parâmetros de jogo bem como no seu maior comprometimento e empenho para com o sucesso das equipas

INFILTRAÇÃO RESINOSA EM LESÕES DE MANCHA BRANCA CAUSADAS POR CÁRIE E FLUOROSE

Dental enamel is considered the most mineralized tissue of the human body, its demineralization, causes the appearance of white spots, which is one of the main reasons that lead patients to seek aesthetic dental treatment. In the continuous search for a dentistry based on increasingly conservative treatments, it is extremely important to use techniques that generate as little wear as possible to the dental structure. Thus, the objective of this work was to present the resin infiltrator as the best minimally invasive alternative for the treatment of lesions of white spots in dental enamel caused by caries and fluorosis. The present work is a literature review, participated in the selection, articles that addressed the development of white spots be they caries and fluorosis spots, minimally invasive treatments, and treatment with the use of resin infiltration. Results obtained with this research show that resin infiltration is effective in masking these lesions, significantly improving the aesthetic perception of the anterior teeth of affected patients. Through this study it can be concluded that the resin infiltrator is a very promising, effective and safe treatment, promoting minimal wear to dental enamel in the treatment of white spots.El esmalte dental es considerado el tejido más mineralizado del cuerpo humano, su desmineralización, provoca la aparición de manchas blancas, que es uno de los principales motivos que llevan a los pacientes a buscar tratamiento dental estético. En la búsqueda continua de una odontología basada en tratamientos cada vez más conservadores, es sumamente importante utilizar técnicas que generen el menor desgaste posible a la estructura dental. Así, el objetivo de este trabajo fue presentar el infiltrado de resina como la mejor alternativa mínimamente invasiva para el tratamiento de lesiones de manchas blancas en el esmalte dental causadas por caries y fluorosis. El presente trabajo es una revisión de la literatura, participó en la selección, artículos que abordaron el desarrollo de manchas blancas ya sean manchas de caries y fluorosis, tratamientos mínimamente invasivos y tratamiento con el uso de infiltración de resina. Los resultados obtenidos con esta investigación muestran que la infiltración de resina es eficaz para enmascarar estas lesiones, mejorando significativamente la percepción estética de los dientes anteriores de los pacientes afectados. A través de este estudio se puede concluir que el infiltrado de resina es un tratamiento muy prometedor, eficaz y seguro, promoviendo un desgaste mínimo del esmalte dental en el tratamiento de manchas blancas.O esmalte dental é considerado o tecido mais mineralizado do corpo humano, sua desmineralização, ocasiona o surgimento de manchas brancas, que é um dos principais motivos que levam os pacientes a procurarem tratamento odontológico estético. Na busca contínua de uma Odontologia baseada em tratamentos cada vez mais conservadores, é de extrema importância lançar mão de técnicas que gerem o mínimo desgaste possível à estrutura dental. Dessa forma, o objetivo desse trabalho foi apresentar o infiltrante resinoso como a melhor alternativa minimamente invasiva, para o tratamento de lesões de manchas brancas em esmalte dental causadas por cárie e fluorose. O presente trabalho trata-se de uma revisão de literatura, participaram da seleção, artigos que abordassem sobre o desenvolvimento de mancha branca sejam elas manchas de cárie e fluorose, tratamentos minimamente invasivos, e o tratamento com a utilização da infiltração resinosa. Resultados obtidos com esta pesquisa mostram que a infiltração resinosa é eficaz no mascaramento dessas lesões, melhorando significativamente a percepção estética dos dentes anteriores de pacientes afetados. Através desse estudo pode-se concluir que o infiltrante resinoso é um tratamento bastante promissor, eficaz e seguro, promovendo mínimo desgaste ao esmalte dental no tratamento de manchas brancas.O esmalte dental é considerado o tecido mais mineralizado do corpo humano, sua desmineralização, ocasiona o surgimento de manchas brancas, que é um dos principais motivos que levam os pacientes a procurarem tratamento odontológico estético. Na busca contínua de uma Odontologia baseada em tratamentos cada vez mais conservadores, é de extrema importância lançar mão de técnicas que gerem o mínimo desgaste possível à estrutura dental. Dessa forma, o objetivo desse trabalho foi apresentar o infiltrante resinoso como a melhor alternativa minimamente invasiva, para o tratamento de lesões de manchas brancas em esmalte dental causadas por cárie e fluorose. O presente trabalho trata-se de uma revisão de literatura, participaram da seleção, artigos que abordassem sobre o desenvolvimento de mancha branca sejam elas manchas de cárie e fluorose, tratamentos minimamente invasivos, e o tratamento com a utilização da infiltração resinosa. Resultados obtidos com esta pesquisa mostram que a infiltração resinosa é eficaz no mascaramento dessas lesões, melhorando significativamente a percepção estética dos dentes anteriores de pacientes afetados. Através desse estudo pode-se concluir que o infiltrante resinoso é um tratamento bastante promissor, eficaz e seguro, promovendo mínimo desgaste ao esmalte dental no tratamento de manchas brancas

Oficinas Lúdicas: favorecendo espaços de encontro para crianças abrigadas

Este artigo apresenta o projeto de Extensão Universitária Oficinas Lúdicas: Espaços de Encontro e Criação, o qual desenvolve atividades no âmbito interdisciplinar, envolvendo alunos e profissionais dos cursos de terapia ocupacional, psicologia, fisioterapia e serviço social. O projeto envolve dois locais da cidade de Santos – um abrigo e um núcleo sócio educativo –, trabalhando a saúde e o brincar de crianças em situação de risco e vulnerabilidade. Este artigo volta-se para as ações desenvolvidas durante um ano do projeto dentro do abrigo e traz as justificativas e norteadores teóricos do projeto Oficinas Lúdicas, assim como eixos de atuação dentro de abrigos. O trabalho descrito no artigo foi realizado no período de agosto de 2011 a junho de 2012 e centrou sua atuação com crianças de dois a seis anos. A intervenção proposta no formato de oficinas provocou mudanças no âmbito institucional, no lugar que o brincar ocupa e, em relação, às crianças, mudanças no brincar compartilhado.</p

Oficinas Lúdicas: favorecendo espaços de encontro para crianças abrigadas

This paper presents the design of University Service: Ludic Workshops: Spaces of Encounter and Creation, which develops interdisciplinary activities involving students and professionals from occupational therapy courses, such as psychology, physiotherapy and social work. The project involves two places in Santos – SP, a shelter and a core educational partner in which we work health and play with children at risk and vulnerability. This article turns to the actions developed during a year of the project inside the shelter and brings about theoretical and guiding justifications to the project, as well as areas of action in shelters. The work described in the article was conducted from August 2011 to June 2012 and focused its work with children from two to six years old. The proposed intervention by using workshops led to changes in the institutional framework concerning playing, children and changes in shared play.En este artículo se presenta el proyecto de Extensión Universitaria Talleres Lúdicos: espacios de encuentro y de creación, que se desarrolla dentro de las actividades interdisciplinarias entre estudiantes y cursos profesionales en terapia ocupacional, psicología, fisioterapia y trabajo social. El proyecto consiste en dos lugares en la ciudad de Santos - un refugio y un núcleo socio - educativo, de salud y de actividades de juegos para los niños en situación de riesgo y vulnerabilidad. Este artículo se dirige a las acciones desarrolladas a lo largo de un año del proyecto dentro de la vivienda y trae las justificaciones y las directrizes del proyecto Talleres Lüdicos, así como ejes de acción en los refugios. El trabajo descrito en este artículo se realizó entre agosto 2011-junio 2012 y las actividades se centraron con los niños de dos a seis años. La intervención propuesta en forma de talleres dirigido a los cambios en el marco institucional, en el que la obra se lleva a cabo, y en relación con los niños, los cambios en el juego compartido.Este artigo apresenta o projeto de Extensão Universitária Oficinas Lúdicas: Espaços de Encontro e Criação, o qual desenvolve atividades no âmbito interdisciplinar, envolvendo alunos e profissionais dos cursos de terapia ocupacional, psicologia, fisioterapia e serviço social. O projeto envolve dois locais da cidade de Santos – um abrigo e um núcleo sócio educativo –, trabalhando a saúde e o brincar de crianças em situação de risco e vulnerabilidade. Este artigo volta-se para as ações desenvolvidas durante um ano do projeto dentro do abrigo e traz as justificativas e norteadores teóricos do projeto Oficinas Lúdicas, assim como eixos de atuação dentro de abrigos. O trabalho descrito no artigo foi realizado no período de agosto de 2011 a junho de 2012 e centrou sua atuação com crianças de dois a seis anos. A intervenção proposta no formato de oficinas provocou mudanças no âmbito institucional, no lugar que o brincar ocupa e, em relação, às crianças, mudanças no brincar compartilhado

Oficinas Lúdicas: favorecendo espaços de encontro para crianças abrigadas

This paper presents the design of University Service: Ludic Workshops: Spaces of Encounter and Creation, which develops interdisciplinary activities involving students and professionals from occupational therapy courses, such as psychology, physiotherapy and social work. The project involves two places in Santos – SP, a shelter and a core educational partner in which we work health and play with children at risk and vulnerability. This article turns to the actions developed during a year of the project inside the shelter and brings about theoretical and guiding justifications to the project, as well as areas of action in shelters. The work described in the article was conducted from August 2011 to June 2012 and focused its work with children from two to six years old. The proposed intervention by using workshops led to changes in the institutional framework concerning playing, children and changes in shared play.En este artículo se presenta el proyecto de Extensión Universitaria Talleres Lúdicos: espacios de encuentro y de creación, que se desarrolla dentro de las actividades interdisciplinarias entre estudiantes y cursos profesionales en terapia ocupacional, psicología, fisioterapia y trabajo social. El proyecto consiste en dos lugares en la ciudad de Santos - un refugio y un núcleo socio - educativo, de salud y de actividades de juegos para los niños en situación de riesgo y vulnerabilidad. Este artículo se dirige a las acciones desarrolladas a lo largo de un año del proyecto dentro de la vivienda y trae las justificaciones y las directrizes del proyecto Talleres Lüdicos, así como ejes de acción en los refugios. El trabajo descrito en este artículo se realizó entre agosto 2011-junio 2012 y las actividades se centraron con los niños de dos a seis años. La intervención propuesta en forma de talleres dirigido a los cambios en el marco institucional, en el que la obra se lleva a cabo, y en relación con los niños, los cambios en el juego compartido.Este artigo apresenta o projeto de Extensão Universitária Oficinas Lúdicas: Espaços de Encontro e Criação, o qual desenvolve atividades no âmbito interdisciplinar, envolvendo alunos e profissionais dos cursos de terapia ocupacional, psicologia, fisioterapia e serviço social. O projeto envolve dois locais da cidade de Santos – um abrigo e um núcleo sócio educativo –, trabalhando a saúde e o brincar de crianças em situação de risco e vulnerabilidade. Este artigo volta-se para as ações desenvolvidas durante um ano do projeto dentro do abrigo e traz as justificativas e norteadores teóricos do projeto Oficinas Lúdicas, assim como eixos de atuação dentro de abrigos. O trabalho descrito no artigo foi realizado no período de agosto de 2011 a junho de 2012 e centrou sua atuação com crianças de dois a seis anos. A intervenção proposta no formato de oficinas provocou mudanças no âmbito institucional, no lugar que o brincar ocupa e, em relação, às crianças, mudanças no brincar compartilhado

Práticas artísticas no ensino básico e secundário

A mediação entre os conteúdos culturais e a Educação Artística formal tem emergido como uma distinta área de inovação e de intervenção, como o mostram os 18 artigos selecionados nesta nona edição da revista Matéria-Prima.Entre a identidade, fundada nos focos de conhecimento local, e uma inserção integrada nos problemas e conteúdos globais joga-se a problematização da Educação Artística. As propostas articulam quer discursos curatoriais (museu, bienal, exposição), como ações de mediação visando uma expansão das atividades, a que se juntam as reflexões sobre a realidade da formação de professores, nas suas diversas modalidades, em diversas realidades sociais.Propiciam-se oportunidades de ações de intervenção, concertadas ou não, entre os agentes artísticos e os educadores. O resultado pode ser potenciado se se conseguir uma perspetiva informada e integrada das realidades artísticas: pede-se a todos os intervenientes mais integração e disponibilidade para um conhecimento mútuo consequente.info:eu-repo/semantics/publishedVersio

Innovation of Textiles through Natural By-Products and Wastes

Nowadays, the competitiveness of the textile industry and the consumers’ interest have been increasing the demand for innovative and functional textiles. Allied to this, sustainable developments are playing an increasingly important role in the textile industry. Such concerns led to a new development strategy based on the valorization of bio-based wastes and by-products of different industries, inserting this in the circular economy paradigm. These bio-based wastes and by-products come from several industries, as the agri-food industry. These resources present an enormous potential for valorization in the textile finish due to their intrinsic properties (antimicrobial, prebiotic, antioxidant activity, among others). This chapter will review the latest innovation and textile product development through different by-products and wastes, their main properties and characteristics and the advantages that they offer to the textile industry

MAMMALS IN PORTUGAL : A data set of terrestrial, volant, and marine mammal occurrences in P ortugal

Mammals are threatened worldwide, with 26% of all species being includedin the IUCN threatened categories. This overall pattern is primarily associatedwith habitat loss or degradation, and human persecution for terrestrial mam-mals, and pollution, open net fishing, climate change, and prey depletion formarine mammals. Mammals play a key role in maintaining ecosystems func-tionality and resilience, and therefore information on their distribution is cru-cial to delineate and support conservation actions. MAMMALS INPORTUGAL is a publicly available data set compiling unpublishedgeoreferenced occurrence records of 92 terrestrial, volant, and marine mam-mals in mainland Portugal and archipelagos of the Azores and Madeira thatincludes 105,026 data entries between 1873 and 2021 (72% of the data occur-ring in 2000 and 2021). The methods used to collect the data were: live obser-vations/captures (43%), sign surveys (35%), camera trapping (16%),bioacoustics surveys (4%) and radiotracking, and inquiries that represent lessthan 1% of the records. The data set includes 13 types of records: (1) burrowsjsoil moundsjtunnel, (2) capture, (3) colony, (4) dead animaljhairjskullsjjaws, (5) genetic confirmation, (6) inquiries, (7) observation of live animal (8),observation in shelters, (9) photo trappingjvideo, (10) predators dietjpelletsjpine cones/nuts, (11) scatjtrackjditch, (12) telemetry and (13) vocalizationjecholocation. The spatial uncertainty of most records ranges between 0 and100 m (76%). Rodentia (n=31,573) has the highest number of records followedby Chiroptera (n=18,857), Carnivora (n=18,594), Lagomorpha (n=17,496),Cetartiodactyla (n=11,568) and Eulipotyphla (n=7008). The data setincludes records of species classified by the IUCN as threatened(e.g.,Oryctolagus cuniculus[n=12,159],Monachus monachus[n=1,512],andLynx pardinus[n=197]). We believe that this data set may stimulate thepublication of other European countries data sets that would certainly contrib-ute to ecology and conservation-related research, and therefore assisting onthe development of more accurate and tailored conservation managementstrategies for each species. There are no copyright restrictions; please cite thisdata paper when the data are used in publications.info:eu-repo/semantics/publishedVersio